Improving Usability of the Linux Kernel Configuration Tools
نویسندگان
چکیده
Tailoring a Linux kernel to one’s needs has been one of the most cumbersome tasks a GNU/Linux user can do. There have been many attempts to overcome this problem by introducing smarter configuration tools. Those tools, however, still lack some important features which discourages users from using them. In this project, we address the problem of usability of the Linux kernel configuration tools. We identify the major usability issues with current tools, propose a better user interface, and evaluate it on a group of Linux enthusiasts.
منابع مشابه
Linux Kernel Developer Responses to Static Analysis Bug Reports
We present a study of how Linux kernel developers respond to bug reports issued by a static analysis tool. We found that developers prefer to triage reports in younger, smaller, and more actively-maintained files (§2), first address easy-to-fix bugs and defer difficult (but possibly critical) bugs (§3), and triage bugs in batches rather than individually (§4). Also, although automated tools can...
متن کاملLinux - Wikipedia, the free encyclopedia
In the narrowest sense, the term Linux refers to the Linux kernel, but it is commonly used to describe entire Unix-like operating systems (also known as GNU/Linux) that are based on the Linux kernel combined with libraries and tools from the GNU Project and other sources. Most broadly, a Linux distribution bundles large quantities of application software with the core system, and provides more ...
متن کاملAnalyzing the Impact of Feature Changes in Linux
In a software project as large and as rapidly evolving as the Linux kernel, automated testing systems are an integral component to the development process. Extensive build and regression tests can catch potential problems in changes before they appear in a stable release. Current systems, however, do not systematically incorporate the configuration system Kconfig. In this work, we present an ap...
متن کاملImproving the Linux Test Project with Kernel Code Coverage Analysis
Coverage analysis measures how much of the target code is run during a test and is a useful mechanism for evaluating the effectiveness of a system test or benchmark. In order to improve the quality of the Linux® kernel, we are utilizing GCOV, a test coverage program which is part of GNU CC, to show how much of the kernel code is being exercised by test suites such as the Linux Test Project. Thi...
متن کاملFormal analysis of the Linux kernel configuration with SAT solving
The Linux kernel is a highly configurable software system. The aim of this paper is to develop a formal method for the analysis of the configuration space. We first develop a Linux product overview formula (L-POF), which is a Boolean formula representing the high-level configuration constraints of the kernel. Using SAT solving on this L-POF, we can then answer many questions, such as which opti...
متن کامل